EQ-algebras from the point of view of generalized algebras with fuzzy equalities
نویسندگان
چکیده
EQ-algebras introduced by Novák are algebras of truth values for a higher-order fuzzy logic (fuzzy type theory). In this paper, the compatibility of multiplication w.r.t. the fuzzy equality in an arbitrary EQ-algebra is examined. Particularly, an example indicates that the compatibility axiom does not always hold, and then a class of EQ-algebras satisfying the compatibility axiom is characterized by introducing a residuated integral-meet-semilattice-ordered-monoid-valued fuzzy algebra called a generalized algebra with a fuzzy equality. © 2013 Elsevier B.V. All rights reserved.
منابع مشابه
Generalized states on EQ-algebras
In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...
متن کاملON TOPOLOGICAL EQ-ALGEBRAS
In this paper, by using a special family of filters $mathcal{F}$ on an EQ-algebra $E$, we construct a topology $mathcal{T}_{mathcal{mathcal{F}}}$ on $E$ and show that $(E,mathcal{T}_{mathcal{F}})$ is a topological EQ-algebra. First of all, we give some properties of topological EQ-algebras and investigate the interaction of topological EQ-algebras and quotient topological EQ-algebras. Then we o...
متن کاملFUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملFixed point theorems for generalized quasi-contractions in cone $b$-metric spaces over Banach algebras without the assumption of normality with applications
In this paper, we introduce the concept of generalized quasi-contractions in the setting of cone $b$-metric spaces over Banach algebras. By omitting the assumption of normality we establish common fixed point theorems for the generalized quasi-contractions with the spectral radius $r(lambda)$ of the quasi-contractive constant vector $lambda$ satisfying $r(lambda)in [0,frac{1}{s})$ in the set...
متن کاملDirect Limits and Reduced Products of Algebras with Fuzzy Equalities
We study direct limits and reduced products of algebras with fuzzy equalities. On the one hand, algebras with fuzzy equalities are natural fuzzy structures that disallow to map similar arguments to dissimilar ones. On the other hand, they are exactly the semantic structures of the equational fragment of first-order fuzzy logic. In this paper we propose generalizations of direct limits and reduc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 236 شماره
صفحات -
تاریخ انتشار 2014